#ifndef SAT_H_
#define SAT_H_

#include "AbstractGraph.h"
#include "Graph.h"

/** Interface to build sat formule according to minisat format*/

class Sat
{	
 public:
  Sat();
  Sat(int);
  Sat(Sat&);
  virtual ~Sat();
  void addClause(std::vector<int>);
  std::vector<int> getCover();
  void writeInfile();
  void runMinisat();
  bool readOutfile();

 protected:
  bool evaluated;
  int nbVertex;
  std::vector<std::vector<int> > problem;
  std::vector<int> cover;
};



#endif

